home *** CD-ROM | disk | FTP | other *** search
- ;******************************************************************************
- ;
- ; Project : STk-inspect, a graphical debugger for STk.
- ;
- ; File name : inspect-view.stk
- ; Creation date : Aug-30-1993
- ; Last update : Sep-17-1993
- ;
- ;******************************************************************************
- ;
- ; This file implements the different sort of "Viewers".
- ;
- ;******************************************************************************
-
- (provide "inspect-view")
-
- (define (view-tl-wid obj) (widget VIEW_WIDGET_NAME (object-symbol obj)))
- (define (view-tl-str obj) (& VIEW_WIDGET_NAME (object-symbol obj)))
- (define (view-l-wid obj) (widget (view-tl-str obj) ".id.f1.l2"))
- (define (view-l-str obj) (& (view-tl-str obj) ".id.f1.l2"))
- (define (view-e-wid obj) (widget (view-tl-str obj) ".id.f2.e"))
- (define (view-e-str obj) (& (view-tl-str obj) ".id.f2.e"))
- (define (view-m-wid obj) (widget (view-tl-str obj) ".menu.command.m"))
- (define (view-m-str obj) (& (view-tl-str obj) ".menu.command.m"))
- (define (view-c-wid obj) (widget (view-tl-str obj) ".f3.c"))
- (define (view-c-str obj) (& (view-tl-str obj) ".f3.c"))
-
-
- ;---- Viewer menu -------------------------------------------------------------
-
- (define (view-menu-Eval obj)
- (eval-string (format #f "(set! ~a ~a)" obj ((view-e-wid obj) 'get))))
-
- (define (view-menu-Quote obj)
- (eval-string (format #f "(set! ~a '~a)" obj ((view-e-wid obj) 'get))))
-
- (define (view-menu-Inspect key)
- (let ((obj (find-object-infos key)))
- (inspect obj)
- ((widget (view-tl-str obj) ".menu.command.m") 'disable "Inspect")
- (if (detailed? obj) ((detail-m-wid obj) 'disable "Inspect"))))
-
- (define (view-menu-Detail key)
- (let ((obj (find-object-infos key)))
- (detail obj)
- ((widget (view-tl-str obj) ".menu.command.m") 'disable "Detail")
- (if (inspected? obj) ((inspect-m-wid obj) 'disable "Detail"))))
-
- (define (view-menu-Unview key)
- (unview (find-object-infos key)))
-
-
- ;---- Viewer ------------------------------------------------------------------
-
- (define VIEW_WIDGET_NAME ".viewer")
- (define viewed-objects-list ())
-
- (define (viewed? obj) (member obj viewed-objects-list))
-
- (define (view obj)
- (unless (viewed? obj) (view-object obj)))
-
- (define (view-object obj)
- (set! viewed-objects-list (cons obj viewed-objects-list))
- (unless (object-infos obj)
- (add-object-infos obj)
- (if (symbol? obj) (trace-var obj `(update-object ',obj))))
- (view-create obj))
-
- (define (unview obj)
- (when (viewed? obj) (unview-object obj)))
-
- (define (unview-object obj)
- (let ((top (view-tl-wid obj)))
- (set! viewed-objects-list (list-remove obj viewed-objects-list))
- (if (inspected? obj) ((inspect-m-wid obj) 'enable "View"))
- (if (detailed? obj) ((detail-m-wid obj) 'enable "View"))
- (unless (or (inspected? obj) (detailed? obj))
- (remove-object-infos obj)
- (if (symbol? obj) (untrace-var obj)))
- ;; If toplevel exists (i.e. it is not a <Destroy> event) destroy it
- (if (= (winfo 'exists top) 1)
- (destroy top))))
-
- (define (view-create obj)
- (let ((obj-val (inspect::eval obj)))
- (case (inspect::typeof obj-val)
- ((widget) (when (= (winfo 'exists (view-tl-wid obj-val)) 0)
- (view-widget-create obj-val)))
- ((closure) (view-procedure-create obj))
- (else (view-object-create obj)))))
-
- (define (view-display obj)
- (case (object-type obj)
- ((widget) (view-widget-display (inspect::eval obj)))
- ((closure) (view-procedure-display obj))
- (else (view-object-display obj))))
-
-
- ;---- Object/Procedure viewer -------------------------------------------------
-
- (define CAR_COLOR "gray90")
- (define CDR_COLOR "gray70")
- (define ARROW_COLOR "black")
- (define TEXT_COLOR "black")
-
- (define (highlightItem canvas color1 color2)
- (let ((item (car (canvas 'find 'withtag 'current))))
- (if (equal? (tki-get canvas item :fill) color1)
- (tki-set canvas item :fill color2)
- (tki-set canvas item :fill color1))))
-
- (define (find-car/cdr fct count l)
- (define (_find-car/cdr fct count l path)
- (if (not (pair? l))
- (if (null? path)
- #f
- (_find-car/cdr fct count (caar path) (cdr path)))
- (if (equal? 0 count)
- (fct l)
- (_find-car/cdr fct (- count 1) (cdr l) (cons l path)))))
- (_find-car/cdr fct count l ()))
-
- (define (double1OnCar obj)
- (let* ((canvas (view-c-wid obj))
- (item (car (canvas 'find 'withtag 'current)))
- (cars (canvas 'find 'withtag 'CAR)))
- (view (find-car/cdr car (list-first item cars) (inspect::eval obj)))))
-
- (define (double1OnCdr canvas obj)
- (let ((item (car (canvas 'find 'withtag 'current)))
- (cdrs (canvas 'find 'withtag 'CDR)))
- (view (find-car/cdr cdr (list-first item cdrs) (inspect::eval obj)))))
-
- (define (text-width text font)
- (canvas ".text-width")
- (define bbox
- (.text-width 'bbox (.text-width 'create 'text 0 0 :text text :font font)))
- (destroy .text-width)
- (- (caddr bbox) (car bbox)))
-
- (define (view-create-toplevel obj)
- (define w (create-toplevel-widget (view-tl-str obj)))
- (define id-w (widget w ".id"))
- (set-id-label1 id-w "Object" 6)
- (set-id-label2 id-w "Value" 6)
-
- (define menu-w (widget w ".menu"))
- ((widget w ".menu.help.m") 'add 'command :label "Viewer"
- :command '(stk:make-help Viewer-help))
- (pack [menubutton (& menu-w ".command") :text "Command"] :side "left")
- (define cmd-w (eval [menu (& menu-w ".command.m")]))
- (tk-set! (widget menu-w ".command") :menu cmd-w)
- (cmd-w 'add 'command :label "Inspect"
- :command `(view-menu-Inspect ',(object-symbol obj)))
- (if (inspected? obj) (cmd-w 'disable "Inspect"))
- (cmd-w 'add 'command :label "Detail"
- :command `(view-menu-Detail ',(object-symbol obj)))
- (if (detailed? obj) (cmd-w 'disable "Detail"))
- (cmd-w 'add 'command :label "Unview"
- :command `(view-menu-Unview ',(object-symbol obj)))
-
- (if (modifiable-object? obj)
- [begin
- (bind (widget w ".id.f2.e") "<Return>" `(view-menu-Eval ',obj))
- (bind (widget w ".id.f2.e") "<Shift-Return>" `(view-menu-Quote ',obj))]
- [begin
- ((view-e-wid obj) 'insert 0 (format #f "~S" (inspect::eval obj)))
- (inspect::shadow-entry (widget w ".id.f2.e"))])
-
-
- (pack [frame (& w ".f3") :relief "sunken" :bd 2]
- :fill "both" :expand "yes" :padx 4 :pady 2)
- (pack [scrollbar (& w ".f3.vsb") :orient "vertical"]
- :side "left" :fill "y")
- (pack [scrollbar (& w ".f3.hsb") :orient "horizontal"]
- :side "bottom" :fill "x")
- (pack [canvas (view-c-str obj) :relief "raised" :bd 2]
- :fill "both" :expand "yes")
- (tk-set! (widget w ".f3.vsb") :command (& (view-c-str obj) " 'yview"))
- (tk-set! (widget w ".f3.hsb") :command (& (view-c-str obj) " 'xview"))
- (tk-set! (view-c-wid obj) :yscroll (& w ".f3.vsb 'set"))
- (tk-set! (view-c-wid obj) :xscroll (& w ".f3.hsb 'set"))
- (bind w "<Destroy>" `(view-menu-Unview ',(object-symbol obj)))
- w)
-
- (define (view-object/procedure-create obj)
- (define w (view-create-toplevel obj))
- (wm 'title w "Object viewer")
- (wm 'maxsize w SCREEN_WIDTH SCREEN_HEIGHT)
- (define c (view-c-wid obj))
- (define c-name (widget-name c))
- (c 'bind 'CAR "<Enter>" `(highlightItem ,c-name CAR_COLOR "red"))
- (c 'bind 'CAR "<Leave>" `(highlightItem ,c-name CAR_COLOR "red"))
- (c 'bind 'CAR "<Double-1>" `(double1OnCar ',obj))
- (c 'bind 'CDR "<Enter>" `(highlightItem ,c-name CDR_COLOR "blue"))
- (c 'bind 'CDR "<Leave>" `(highlightItem ,c-name CDR_COLOR "blue"))
- (c 'bind 'CDR "<Double-1>" `(double1OnCdr ,c-name ',obj))
- w)
-
- (define (view-object-create obj)
- (define w (view-object/procedure-create obj))
- (view-object-display obj))
-
- (define (view-object-display obj)
- (wm 'title (view-tl-wid obj) "Object viewer")
- (define obj-val (inspect::eval obj))
- (tk-set! (view-l-wid obj) :text (->object obj))
- ((view-e-wid obj) 'delete 0 'end)
- ((view-e-wid obj) 'insert 0 (->object obj-val))
- (view-object/procedure-display (view-c-wid obj) obj-val))
-
- (define (view-procedure-create obj)
- (define w (view-object/procedure-create obj))
- (view-procedure-display obj))
-
- (define (view-procedure-display obj)
- (wm 'title (view-tl-wid obj) "Procedure viewer")
- (define obj-val (inspect::eval obj))
- (tk-set! (view-l-wid obj) :text (->object obj))
- ((view-e-wid obj) 'delete 0 'end)
- ((view-e-wid obj) 'insert 0 (->object obj-val))
- (view-object/procedure-display (view-c-wid obj) (procedure-body obj-val)))
-
- (define (view-object/procedure-display c obj-val)
- (define grid-h 60) ; horizontal spacing between grid lines
- (define grid-v 40) ; vertical spacing between grid lines
- (define cons-h 40) ; horizontal size of cons cell
- (define cons-v 20) ; vertical size of cons cell
- (define cons-h/2 (quotient cons-h 2))
- (define cons-v/2 (quotient cons-v 2))
- (define arrow-space 2) ; space between arrow and box
- (define (x-h x) (* x grid-h))
- (define (y-v y) (* y grid-v))
- (define font "-adobe-helvetica-bold-r-*-*-*-120-*-*-*-*-*-*")
-
- (define (draw-cons-cell x y)
- (let ((h (x-h x)) (v (y-v y)))
- (c 'create 'rectangle h v (+ h cons-h/2 1) (+ v cons-v)
- :fill CAR_COLOR :tag 'CAR)
- (c 'create 'rectangle (+ h cons-h/2) v (+ h cons-h) (+ v cons-v)
- :fill CDR_COLOR :tag 'CDR)))
-
- (define (car-arrow-pos x y d)
- (let ((h (x-h x)) (v (y-v y)))
- (list (+ h (quotient cons-h 4)) (+ v cons-v/2) (+ h (quotient cons-h 4))
- (+ v cons-v/2 (- (* d grid-v) (+ cons-v/2 arrow-space))))))
-
- (define (draw-car-arrow x y d) ; draw arrow downwards 'd' grid squares
- (let ((pos (car-arrow-pos x y d)))
- (if (and (= x 0) (= y 0))
- (eval `(,c 'create 'line ,@pos :arrow "last" :arrowshape "8 8 3"))
- (eval `(,c 'create 'line ,@pos :arrow "last" :arrowshape "8 8 3"
- :tag 'CAR_ARROW)))))
-
- (define (draw-car-text x y d text)
- (let ((pos (car-arrow-pos x y d)))
- (if (<= (text-width text font) grid-h)
- (c 'create 'text (caddr pos) (cadddr pos)
- :anchor "n" :font font :text text :tag 'CAR_TEXT)
- (let* ((text-l [label (& c "." (gensym "__g"))
- :relief "groove" :bd 2
- :text text :anchor "w" :font font])
- (item (c 'create 'window (caddr pos) (+ 2 (cadddr pos))
- :window text-l :anchor "n" :width (- grid-h 2)
- :tags 'LONG_CAR_TEXT)))
- (bind text-l "<Enter>"
- `(,(widget-name c) 'itemconfig ,item
- :width ,(+ 3 (text-width text font))))
- (bind text-l "<Leave>"
- `(,(widget-name c) 'itemconfig ,item
- :width ,(- grid-h 2)))))))
-
- (define (cdr-arrow-pos x y d)
- (let ((h (x-h x)) (v (y-v y)))
- (list (+ h (quotient (* cons-h 3) 4)) (+ v cons-v/2)
- (+ h (quotient (* cons-h 3) 4)
- (- (* d grid-h) (+ (quotient (* cons-h 3) 4) arrow-space)))
- (+ v cons-v/2))))
-
- (define (draw-cdr-arrow x y d) ; draw arrow to the right 'd' grid squares
- (let ((pos (cdr-arrow-pos x y d)))
- (eval `(,c 'create 'line ,@pos :arrow "last" :arrowshape "8 8 3"
- :tag 'CDR_ARROW))))
-
- (define (draw-cdr-text x y d text)
- (let ((pos (cdr-arrow-pos x y d)))
- (c 'create 'text (caddr pos) (cadddr pos)
- :anchor "w" :font font :text text :tag 'CDR_TEXT)))
-
- (define (draw-nil x y) ; draw nil in cdr of cons cell
- (let ((h (x-h x)) (v (y-v y)))
- (c 'create 'line (+ h cons-h/2) v (+ h cons-h) (+ v cons-v))
- (c 'create 'line (+ h cons-h/2) (+ v cons-v -1) (+ h cons-h) (- v 1))))
-
- (define (object-length obj-val)
- (cond ((null? obj-val) 0)
- ((pair? obj-val) (+ 1 (object-length (cdr obj-val))))
- (else (+ 1 (quotient (text-width (->object obj-val) font)
- grid-h)))))
-
- (define (initial-profile) 0)
- (define (car-profile p) (if (pair? p) (car p) p))
- (define (cdr-profile p) (if (pair? p) (cdr p) p))
-
- (define (make-profile len p)
- (define (fit1 len p)
- (if (> len 1)
- (let ((p* (fit1 (- len 1) (cdr-profile p))))
- (cons (car-profile p*) p*))
- (fit2 (+ (car-profile p) 1) p)))
- (define (fit2 y p)
- (if (pair? p)
- (cons (max y (car-profile p)) (fit2 y (cdr-profile p)))
- (max y p)))
- (fit1 len p))
-
- (define (draw-list lst x y p)
- (draw-cons-cell x y)
- (let* ((tail (cdr lst))
- (tail-p (cdr-profile p))
- (new-p (cond ((null? tail)
- (draw-nil x y)
- tail-p)
- ((pair? tail)
- (draw-cdr-arrow x y 1)
- (draw-list tail (+ x 1) y tail-p))
- (else
- (draw-cdr-arrow x y 1)
- (draw-cdr-text x y 1 (->object tail))
- tail-p))))
- (draw-object (car lst) x y (cons (car-profile p) new-p))))
-
- (define (draw-object obj-val x y p)
- (if (pair? obj-val)
- (let* ((len (object-length obj-val))
- (new-p (make-profile len p))
- (yy (car-profile new-p)))
- (draw-car-arrow x y (- yy y))
- (draw-list obj-val x yy new-p))
- (let ((text (->object obj-val)))
- (draw-car-arrow x y 1)
- (draw-car-text x y 1 text)
- (make-profile 1 p))))
-
- (c 'delete 'all)
- (draw-object obj-val 0 0 (initial-profile))
- (adjust-scrollregion c 20))
-
-
- ;---- Widget viewer -----------------------------------------------------------
-
- (define show-widget
- (let ((bg-color ())
- (box-color ()))
- (lambda (obj item press)
- (let* ((canv-w (view-c-wid (inspect::eval obj)))
- (tags (canv-w 'gettags item))
- (wid (inspect::eval (list-ref tags 1))))
- (if press
- (begin
- (set! box-color (tki-get canv-w item :fill))
- (set! bg-color (tk-get wid :bg))
- (tki-set canv-w item :fill "magenta")
- (tk-set! wid :bg "magenta"))
- (begin
- (tki-set canv-w item :fill box-color)
- (tk-set! wid :bg bg-color)))))))
-
- (define (inspect-sub-widget obj who)
- (catch
- (inspect (inspect::eval (list-ref ((view-c-wid obj) 'gettags who) 1)))))
-
- (define (view-widget-create obj)
- (define w (view-create-toplevel obj))
- (define obj-val (inspect::eval obj))
- (wm 'maxsize w SCREEN_WIDTH SCREEN_HEIGHT)
- (pack [frame (& w ".menu.level")] :side "left")
- (pack [label (& w ".menu.level.l") :text "Level"] :side "left")
- (pack [entry (& w ".menu.level.e") :relief "sunken" :bd 2 :width 4]
- :side "left")
- ((widget w ".menu.level.e") 'insert 0 9999)
- (bind (widget (view-tl-str obj) ".menu.level.e") "<Return>"
- `(view-widget-modify-level ',(object-symbol obj)))
-
- (define c (view-c-wid obj))
- (c 'bind '|CLASS| "<Double-1>"
- `(inspect-sub-widget ,(widget-name obj-val)
- 'current))
- (c 'bind '|CLASS_NAME| "<Double-1>"
- `(inspect-sub-widget ,(widget-name obj-val)
- (car (,(widget-name c) 'find 'below 'current))))
-
- (c 'bind '|CLASS| "<ButtonPress-1>"
- `(show-widget ,(widget-name obj-val) 'current #t))
- (c 'bind '|CLASS| "<ButtonRelease-1>"
- `(show-widget ,(widget-name obj-val) 'current #f))
- (c 'bind '|CLASS_NAME| "<ButtonPress-1>"
- `(show-widget ,(widget-name obj-val)
- (car (,(widget-name c) 'find 'below 'current)) #t))
- (c 'bind '|CLASS_NAME| "<ButtonRelease-1>"
- `(show-widget ,(widget-name obj-val)
- (car (,(widget-name c) 'find 'below 'current)) #f))
- (view-widget-display obj))
-
- (define (view-widget-set-level obj level)
- ((widget (view-tl-str obj) ".menu.level.e") 'delete 0 'end)
- ((widget (view-tl-str obj) ".menu.level.e") 'insert 0 level))
-
- (define (view-widget-get-level obj)
- (let ((level ((widget (view-tl-str obj) ".menu.level.e") 'get)))
- (if (equal? "" level) 9999 (string->number level))))
-
- (define (view-widget-modify-level key)
- (let ((obj (find-object-infos key)))
- (unless (view-widget-get-level obj) (view-widget-set-level obj 9999))
- (view-widget-clear obj)
- (view-widget-display obj)))
-
- (define (get-children wid)
- (let ((children (winfo 'children wid)))
- (if (list? children) children (list children))))
-
- (define (view-widget-clear obj) ((view-c-wid obj) 'delete 'all))
-
- (define (view-widget-display obj)
- (wm 'title (view-tl-wid obj) "Widget viewer")
- (define obj-wid obj)
- (define canv (view-c-wid obj))
- (define h-grid 60)
- (define v-grid 40)
- (define h-box 80) (define h-box/2 (/ h-box 2))
- (define v-box 20) (define v-box/2 (/ v-box 2))
- (define y-global 40)
- (define level (view-widget-get-level obj))
- (define level-min level)
- (define (_display wid x level)
- (let* ((name (winfo 'name wid))
- (class (winfo 'class wid))
- ; (children (winfo 'children wid))
- (children (get-children wid))
- (y y-global))
- (canv 'create 'rectangle (- x h-box/2) (- y v-box) (+ x h-box/2) y
- :fill "gray90" :tags (format #f "CLASS ~a" (->string wid)))
- (canv 'create 'text x (- y v-box/2)
- :anchor "center" :text class :font HELVETICA_MO12
- :tags "CLASS_NAME")
- (canv 'create 'text (+ x h-box/2 10) (- y v-box/2)
- :anchor "w" :text name :font HELVETICA_BR12)
- (if (null? children)
- (set! level-min (min level level-min))
- (if (> level 0)
- (let ((y-child y))
- (for-each
- (lambda (child)
- (set! y-global (+ y-global v-grid))
- (set! y-child y-global)
- (_display child (+ x h-grid) (- level 1)))
- children)
- (canv 'create 'line x y x (- y-child v-box/2)))
- (begin
- (set! level-min 0)
- (canv 'create 'line x y x (+ y v-box/2) :stipple "gray50"))))
- (unless (equal? obj-wid wid)
- (canv 'create 'line
- (- x h-box/2) (- y v-box/2) (- x h-grid) (- y v-box/2)))))
-
- (set-id-object (& (view-tl-str obj) ".id") (format #f "~S" obj))
- (set-id-value (& (view-tl-str obj) ".id") (format #f "~S" (inspect::eval obj)))
- ((view-c-wid obj) 'delete 'all)
- (_display obj-wid 0 level)
- (view-widget-set-level obj (- level level-min))
- (adjust-scrollregion canv 20))
-
- (define (adjust-scrollregion canv offset)
- (multiple-value-bind (x1 y1 x2 y2) (canv 'bbox 'all)
- (tk-set! canv :scrollregion
- (&& (- x1 offset) (- y1 offset)
- (+ x2 offset) (+ y2 offset))))
- (canv 'xview 0)
- (canv 'yview 0))
-
- (define (view-widget obj)
- (view-widget-create obj)
- (view-widget-display obj))
-